rel_1_summary 12,41
Common properties of binary relations.

origin